退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用时间受限的反应自动机对实时嵌入式系统进行规范和验证
Azer Bestavros;
机译:关于验证概率实时系统自动机规格的说明
机译:验证分布式概率实时系统的自动机规范
机译:验证嵌入在反应系统中的微计算机程序规范
机译:MultiVue:用于实时系统的多语言规范和验证环境。
机译:嵌入式实时系统的运行时验证
机译:验证概率实时系统的自动机规范
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:嵌入式系统体系结构的硬实时非周期性和周期性规范的并行软硬件协同合成
机译:系统规格验证支持装置和系统规格验证支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。